One of Etchemendy's arguments against the Tarskian and model‐theoretic notion of logical truth is based on a reduction principle according to which a universally quantified sentence is true if, and only if, all of its instances are logically true. The reduction of logical truth to mere truth reveals that the concept of validity at play in Tarski and in model‐theory relies upon extra‐logical assumptions. A similar reduction had already been put forward by Prawitz, although not with focus on extra‐logical assumptions. (...) Prawitz's reduction concerns rather the possibility of understanding the Tarskian and model‐theoretic approach as implying any epistemic modality. We take into account a possible strategy that an advocate of Tarski and model‐theory may use against Etchemendy's objection, and argue that this strategy fails with respect to Prawitz's criticism. This permits us to shed light upon a difference between Prawitz's and Etchemendy's standpoints: while Etchemendy's reduction shows that the Tarskian and model‐theoretic notion of logical truth cannot be understood as an adequate formal counterpart of truth‐preservation solely by virtue of logical form, Prawitz's reduction insists on the fact that truth‐preservation solely by virtue of logical form is insufficient for epistemic modality to obtain. (shrink)

This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes (...) an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz’s grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved. (shrink)

This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation. The variety of distinct approaches exemplified by the single chapters allows for a dialogue between perspectives that, usually, barely communicate with each other. The contributions concern (in a possibly intertwined way) three major perspectives in logic: philosophical, historical, formal. The philosophical perspective has to do with the relationship between deductive validity and truth, and questions the alleged (...) conclusiveness of deduction and its epistemic contribution. It also discusses the role of linguistic acts in deductive practice, and provides a cognitive-didactic contribution on how we may learn through deduction. In the historical perspective, the contributions discuss the ideas of some major historical figures, such as Bolzano, Girard, Gödel, and Peano. Finally, in the formal perspective, the mathematics of deduction is dealt with mainly from an intuitionistic-constructivist or proof-theoretic point of view, with focus on “ecumenic” or internalistic approaches to logical validity, on the nature and identity of proofs, and on dialogical setups. Chapter [14] is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. (shrink)

Dag Prawitz’s theory of grounds proposes a fresh approach to valid inferences. Its main aim is to clarify nature and reasons of their epistemic power. The notion of ground is taken to denote what one is in possession of when in a state of evidence, and valid inferences are described in terms of operations that make us pass from grounds we already have to new grounds. Thanks to a rigorously developed proof-as-chains conception, the ground-theoretic framework permits Prawitz to overcome some (...) conceptual difficulties of his earlier proof-theoretic explanation. Though from different points of view, anyway, the two accounts share an issue of recognizability of relevant operational properties. (shrink)

Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative approach to inferences yields a new conception of the intertwinement of the notions of valid inference and proof. We aim at singling out three reasons that may have led Prawitz to the ground-theoretic turn, i.e.: a better order in the explanation of the relation between valid inferences and proofs; a notion of valid inference based on which (...) valid inferences and proofs are recognisable as such; a reconstruction of the deductive activity that makes inferences capable of yielding justification per se. These topics are discussed by Prawitz with reference to a very general and ancient question: why and how correct deduction has the epistemic power to compel us to accept its conclusions, provided its premises are justified? We conclude by remarking that, in spite of some improvements, the ground-theoretic approach shares with the previous one a problem of vacuous validity which, as Prawitz himself points out, blocks in both cases a satisfactory explanation of epistemic compulsion. (shrink)

We define a class of formal systems inspired by Prawitz’s theory of grounds. The latter is a semantics that aims at accounting for epistemic grounding, namely, at explaining why and how deductively valid inferences have the power to epistemically compel to accept the conclusion. Validity is defined in terms of typed objects, called grounds, that reify evidence for given judgments. An inference is valid when a function exists from grounds for the premises to grounds for the conclusion. Grounds are described (...) by formal terms, either directly when the terms are in canonical form, or indirectly when they are in non-canonical form. Non-canonical terms must reduce to canonical form, and two terms may be said to be equal when they converge towards equivalent grounds. In our systems these properties can be proved through rules distinguished according to whether they concern types or logic. Type rules involve type introduction and elimination, equality for application of operational symbols, and re-writing equations for non-canonical terms. The logic amounts to a sort of intuitionistic system in a Gentzen format. To conclude, we show that each system of our class enjoys a normalization property. (shrink)

We outline a class of term-languages for epistemic grounding inspired by Prawitz’s theory of grounds. We show how denotation functions can be defined over these languages, relating terms to proof-objects built up of constructive functions. We discuss certain properties that the languages may enjoy both individually and with respect to their expansions. Finally, we provide a ground-theoretic version of Prawitz’s completeness conjecture, and adapt to our framework a refutation of this conjecture due to Piecha and Schroeder-Heister.

This broad and insightful book presents current scholarship in important subfields of philosophy of science and addresses an interdisciplinary and multidisciplinary readership. It groups carefully selected contributions into the four fields of I) philosophy of physics, II) philosophy of life sciences, III) philosophy of social sciences and values in science, and IV) philosophy of mathematics and formal modeling. Readers will discover research papers by Paul Hoyningen-Huene, Keizo Matsubara, Kian Salimkhani, Andrea Reichenberger, Anne Sophie Meincke, Javier Suárez, Roger Deulofeu, Ludger Jansen, (...) Peter Hucklenbroich, Martin Carrier, Elizaveta Kostrova, Lara Huber, Jens Harbecke, Antonio Piccolomini d'Aragona and Axel Gelfert. This collection fosters dialogue between philosophers of science working in different subfields, and brings readers the finest and latest work across the breadth of the field,illustrating that contemporary philosophy of science has successfully broadened its scope of reflection. It will interest and inspire a wide audience of philosophers as well as scholars of the natural sciences, social sciences and the humanities. The volume shares selected contributions from the prestigious second triennial conference of the German Society for Philosophy of Science/ Gesellschaft für Wissenschaftsphilosophie (GWP.2016, March 8, 2016 - March 11, 2016). (shrink)

In Prawitz’s semantics, the validity of an argument may be defined, either relatively to an atomic base which determines the meaning of the non-logical terminology, or relatively to the whole class of atomic bases, namely as logical validity. In the first case, which may be qualified as local, one has to choose whether validity of arguments is or not monotonic over expansions of bases, while in the second case, which may be qualified as global, one has to choose whether the (...) reduction functions which justify non-primitive inferences are or not base-depending. I claim that these oppositions enjoy some conceptual symmetries, and that these symmetries may be understood as putting restrictions on one’s choice both at the local and at the global level. This produces two different proof-theoretic semantics in line with Prawitz’s tenets. However, I also argue that the symmetries stem from a deeper interaction within Prawitz’s semantics, i.e. non-logical meanings vs interpretation of rules. This interaction is in turn based on some primitive ingredients which, when suitably combined, produce other two Prawitz-compatible readings. The four readings form a diagram where some order relations hold. I finally claim that this diagram is complete, namely that, if we combine the ingredients in ways other than those giving rise to the four readings above, we obtain nothing new, or nothing compatible with general semantic requirements. Thus, symmetries between the local and the global level, and interaction between non-logical meaning and interpretation of rules, produce a complete classification of potential Prawitzian semantics. (shrink)

I provide a general introduction to the notion at issue in this volume, i.e. deduction, and to some akin notions like inference and reasoning. I also argue that logic is, or should be concerned with three attitudes: an archaeological attitude, a nomological attitude, and an aetiological attitude. Then, I sum up the content of the contributions in this volume.

Celebrated as a courtesan and poet, and as a woman of great intelligence and wit, Tullia d'Aragona entered the debate about the morality of love that engaged the best and most famous male intellects of sixteenth-century Italy. First published in Venice in 1547, but never before published in English, Dialogue on the Infinity of Love casts a woman rather than a man as the main disputant on the ethics of love. Sexually liberated and financially independent, Tullia d'Aragona dared (...) to argue that the only moral form of love between woman and man is one that recognizes both the sensual and the spiritual needs of humankind. Declaring sexual drives to be fundamentally irrepressible and blameless, she challenged the Platonic and religious orthodoxy of her time, which condemned all forms of sensual experience, denied the rationality of women, and relegated femininity to the realm of physicality and sin. Human beings, she argued, consist of body and soul, sense and intellect, and honorable love must be based on this real nature. By exposing the intrinsic misogyny of prevailing theories of love, Aragona vindicates all women, proposing a morality of love that restores them to intellectual and sexual parity with men. Through Aragona's sharp reasoning, her sense of irony and humor, and her renowned linguistic skill, a rare picture unfolds of an intelligent and thoughtful woman fighting sixteenth-century stereotypes of women and sexuality. (shrink)

Nos livros impressos, nem sempre as imagens estão de acordo com os textos que deveriam ilus­trar. Neste artigo, o autor analisa algumas estampas xilográficas que estão em desacordo com os textos que 'ilustram', em O Flos Sanctorum em linguagem português, impresso em Lisboa, por Hermão de Campos & Roberto Rabelo, em 1513.

The use of transcranial Electrical Stimulation in the modulation of cognitive brain functions to improve neuropsychiatric conditions has extensively increased over the decades. tES techniques have also raised new challenges associated with study design, stimulation protocol, functional specificity, and dose-response relationship. In this paper, we addressed challenges through the emerging methodology to investigate the dose-response relationship of High Definition-transcranial Direct Current Stimulation, identifying the role of negative valence in tinnitus perception. In light of the neurofunctional testable framework and tES application, (...) hypotheses were formulated to measure clinical and surrogate endpoints. We posited that conscious pairing adequately pleasant stimuli with tinnitus perception results in correction of the loudness misperception and would be reinforced by concurrent active HD-tDCS on the left Dorsolateral Prefrontal Cortex. The dose-response relationship between HD-tDCS specificity and the loudness perception is also modeled. We conducted a double-blind, randomized crossover pilot study with six recruited tinnitus patients. Accrued data was utilized to design a well-controlled adaptive seamless Bayesian dose-response study. The sample size and optimum interims were anticipated for adaptive decision-making about efficacy, safety, and single session dose parameters. Furthermore, preliminary pilot study results were sufficient to show a significant difference within the longitudinally detected self-report tinnitus loudness between before and under positive emotion induction. This study demonstrated a research methodology used to improve emotion regulation in tinnitus patients. In the projected method, positive emotion induction is essential for promoting functional targeting under HD-tDCS anatomical specificity to indicate the efficacy and facilitate the dose-finding process. The continuous updating of prior knowledge about efficacy and dose during the exploratory stage adapts the anticipated dose-response model. Consequently, the effective dose range to make superiority neuromodulation in correcting loudness misperception of tinnitus will be redefined. Highly effective dose adapts the study to a standard randomized trial and transforms it into the confirmatory stage in which active HD-tDCS protocol is compared with a sham trial. Establishing the HD-tDCS intervention protocols relying on this novel method provides reliable evidence for regulatory agencies to approve or reject the efficacy and safety. Furthermore, this paper supports a technical report for designing multimodality data-driven complementary investigations in emotion regulation, including EEG-driven neuro markers, Stroop-driven attention biases, and neuroimaging-driven brain network dynamics. (shrink)

Celebrated as a courtesan and poet, and as a woman of great intelligence and wit, Tullia d'Aragona (1510–56) entered the debate about the morality of love that engaged the best and most famous male intellects of sixteenth-century Italy. First published in Venice in 1547, but never before published in English, Dialogue on the Infinity of Love casts a woman rather than a man as the main disputant on the ethics of love. Sexually liberated and financially independent, Tullia d'Aragona (...) dared to argue that the only moral form of love between woman and man is one that recognizes both the sensual and the spiritual needs of humankind. Declaring sexual drives to be fundamentally irrepressible and blameless, she challenged the Platonic and religious orthodoxy of her time, which condemned all forms of sensual experience, denied the rationality of women, and relegated femininity to the realm of physicality and sin. Human beings, she argued, consist of body and soul, sense and intellect, and honorable love must be based on this real nature. By exposing the intrinsic misogyny of prevailing theories of love, Aragona vindicates all women, proposing a morality of love that restores them to intellectual and sexual parity with men. Through Aragona's sharp reasoning, her sense of irony and humor, and her renowned linguistic skill, a rare picture unfolds of an intelligent and thoughtful woman fighting sixteenth-century stereotypes of women and sexuality. (shrink)

1. Esistenza e libertà -- 2. Interiorità e persona -- 3. Verità e linguaggio -- 4. Storia e politica.

Researchers, educators and clinicians have long recognized the profound influence of the mid‐twentieth century focus on interpersonal relations and relationships on nursing. Today, in nursing, as well as in medicine and other social sciences, neuroanatomy, neurobiology and neurophysiology have replaced interpersonal dynamics as keys to understanding human behavior. Yet concerns are being raised that the teaching, research and practice of the critical importance of healing relationships have been overridden by a biological focus on the experiences of health and illness. As (...) a way to move forward, we return to Hildegard Peplau's seminal ideas about the transformative power of relationships in nursing. We propose that Peplau's formulations and, in particular, her seminal Interpersonal Relations in Nursing can provide direction. We do not propose that her formulations or her book be simply transposed from the 1950s to today's classroom and clinic. But we do believe that her ideas and writings are dynamic documents containing concepts and derived operations that can be brought to life in clinical practice. Finally, we explore Peplau's transformative idea that nursing is, at its core, an interpersonal process both to acknowledge an idea that has shaped our past and can guide us into our future. (shrink)

No presente trabalho é examinado o conceito de "representação" em duas obras de Nicolau de Oresme. No De maneta, o pensador medieval faz pequenas referências ao poder de decisão do povo em questões monetárias. Anos mais tarde, ao traduzir e comentar a Política de Aristóteles, retoma a noção de Marsílio de Pádua a respeito da multidão como legislador, mas define a multidão não como o povo, mas como a congregação de todos os príncipes ou oficiais, entre os principais cidadãos.

El Tractus de regia potesate et papali de Juan Ouidort de paris O. P. tienecomo objetivo principal, como dice en el premeio,considerar "circa potestatem ecclesiaticorumpontificurn" con el fin de refutar todo argumentoque pretenda otorgar al papado "dominum inrebus". or nuestra parte trataremos de rastrear enlos argumnentos que Juan esgrime de contrapesopara con la teocracia papal los elementos que nospermitan reconstruir su concepción de la naturalezae historia del hombre. A1 respectose haa seíialadola deuda que posee el Tractatus respecto de lacorriente naturalista (...) que arranca con los textosaristotélicos redescubiertos y especialmente por loscomentarias tomísticos a los "libri moralesAristotelis". Sin embargo, a partir de una lecturaminuciosa de! misto no se sigue que Juan sea unautor aristotélico. La recurrencia a determinadasafirmaciones de Aristóteles responden, en rigor,más a la moda que a una fundamentación sobre lanaturaleza del hombre y la sociedad. Antes bien,para ésta Juan recurre a la tradición estoicociceronianay especialmente a los textos de Cicerónde más amplio rendimiento ético-politico en elmedioevo, el De inventione y elDe ofti.ciis. Así, la versión latina, "homo animalpoliticurn et sociale", de la definición aristotélica estematizada por Juan no aristotélica, sinociceronianamente. Hay tres etapas, una bestial, outra social y la tercera civil que se suceden progresivamente. Cadauna de las cuales supera la anterior; huarda cadauna determinadas caraterísticas y, con todo,poseen un denominador común, detonante tanto deconflictos como de derecho: la propiedad privada. (shrink)